higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
-Lie groupoids
-Lie groups
-Lie algebroids
-Lie algebras
Under the embedding of smooth manifolds into formal duals of R-algebras a smooth manifold is identified with the formal dual of its -algebra of smooth functions. Given then a -graded module over concentrated away from zero, the graded symmetric graded algebra
may naturally be thought of as the formal dual of a -graded manifold.
If moreover is equipped with a differential that makes it a differential graded-commutative algebra, then the formal dual is called a differential graded manifold.
Created on October 5, 2017 at 10:06:38. See the history of this page for a list of all contributions to it.